1. Formal techniques for networked and distributed systems
Author: / Edited by Myungchul Kim ... [et al.]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
F67I579
2001
2. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
Author: edited by Myungchul Kim ... ]et al.[
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
9
.
F67
I579
3. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
Author: / Edited by Myungchul Kim ... [et al]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
.
F67
,
I579
2001
4. VDM' 87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, proceedings
Author: edited by D. Bjorner...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
Classification :
QA
76
.
L28
Vol
.
252
5. VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings
Author: VDM '78, )7891, Brussels, Belgium(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer software - Development,Congresses ، Computer software industry - European Economic Community countries
Classification :
QA
76
.
L4
v
.
252
